Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.emf.mwe2.launch.Mwe2LaunchConfigurationType">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/ca.mcgill.ecse.dslreasoner.vampire.language"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="4"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#10;&lt;resources&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ide&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;;&lt;/resources&gt;}"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ca.mcgill.ecse.dslreasoner.vampire.language"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m"/>
</launchConfiguration>